(sh-shell-file): Add cmdproxy to MS shells.

diff --git a/lisp/progmodes/sh-script.el b/lisp/progmodes/sh-script.el
index c30d22202698e7334cb056ac2f736a6087b37dda..8b5e1d5deb0ea880b31882949cd4e9cdf0e19bc3 100644 (file)
--- a/lisp/progmodes/sh-script.el
+++ b/lisp/progmodes/sh-script.el
@@ -135,7 +135,8 @@ shell it really is."
          ;; so use the default instead.
          (if (or (null shell)
                  (member (downcase shell-base)
-                         '("command.com" "cmd.exe" "4dos.com" "ndos.com")))
+                         '("command.com" "cmd.exe" "4dos.com" "ndos.com"
+                           "cmdproxy.exe")))
              "/bin/sh"
            (file-name-sans-extension (downcase shell)))))
    (getenv "SHELL")